M Kloul : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (49)
Les plus populaires
Liste
- Liste
- Tableau

1

« Snoezelen » ou les effets de la stimulation multisensorielle sur les troubles du comportement chez les personnes âgées démentes à un stade avancé

Andreeva, V., Dartinet-Chalmey, V., Kloul, A., Fromage, B., Kadri, N.

Journal:

NPG Neurologie - Psychiatrie - Gériatrie

Année:

2011

Langue:

french

Fichier:

PDF, 270 KB

french, 2011

2

Modeling patterns for reliability assessment of safety instrumented systems

Meng, Huixing, Kloul, Leïla, Rauzy, Antoine

Journal:

Reliability Engineering & System Safety

Année:

2018

Langue:

english

Fichier:

PDF, 2.03 MB

english, 2018

3

[IEEE Simulation of Computer and Telecommunication Systems (MASCOTS) - Singapore, Singapore (2011.07.25-2011.07.27)] 2011 IEEE 19th Annual International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems - Mobility Prediction Using Mobile User Profiles

Barth, Dominique, Bellahsene, Samir, Kloul, Leïla

Année:

2011

Langue:

english

Fichier:

PDF, 850 KB

english, 2011

4

[IEEE 2017 IEEE International Systems Engineering Symposium (ISSE) - Vienna, Austria (2017.10.11-2017.10.13)] 2017 IEEE International Systems Engineering Symposium (ISSE) - A pattern-based methodology for reliability assessment of safety instrumented systems

Meng, Huixing, Kloul, Leila, Rauzy, Antoine

Année:

2017

Langue:

english

Fichier:

PDF, 158 KB

english, 2017

5

Performance investigation of an on-line auction system

Jane Hillston, Leïla Kloul

Journal:

Concurrency and Computation: Practice and Experience

Année:

2001

Langue:

english

Fichier:

PDF, 167 KB

english, 2001

6

Structural and optical studies of porous silicon buried waveguides: Effects of oxidation and pore filling using DR1 dyes

J. Charrier, M. Kloul, P. Pirasteh, J.-F. Bardeau, M. Guendouz, A. Bulou, L. Haji

Journal:

Optical Materials

Année:

2007

Langue:

english

Fichier:

PDF, 803 KB

english, 2007

7

A unified tool for performance modelling and prediction

Stephen Gilmore, Leïla Kloul

Journal:

Reliability Engineering & System Safety

Année:

2005

Langue:

english

Fichier:

PDF, 540 KB

english, 2005

8

Oxidised porous silicon impregnated with Congo Red for chemical sensoring applications

P Rivolo, P Pirasteh, A Chaillou, P Joubert, M Kloul, J.-F Bardeau, F Geobaldo

Journal:

Sensors and Actuators B: Chemical

Année:

2004

Langue:

english

Fichier:

PDF, 179 KB

english, 2004

9

Performance modelling of hierarchical cellular networks using PEPA

J.M. Fourneau, L. Kloul, F. Valois

Journal:

Performance Evaluation

Année:

2002

Langue:

english

Fichier:

PDF, 219 KB

english, 2002

10

PEPA nets: a structured performance modelling formalism

Stephen Gilmore, Jane Hillston, Leı̈la Kloul, Marina Ribaudo

Journal:

Performance Evaluation

Année:

2003

Langue:

english

Fichier:

PDF, 311 KB

english, 2003

11

Multiple class G-networks with iterated deletions

J.-M. Fourneau, L. Kloul, F. Quessette

Journal:

Performance Evaluation

Année:

2000

Langue:

english

Fichier:

PDF, 161 KB

english, 2000

12

Multiple class G-networks with list-oriented deletions

J.-M. Fourneau, L. Kloul, D. Verchère

Journal:

European Journal of Operational Research

Année:

2000

Langue:

english

Fichier:

PDF, 244 KB

english, 2000

13

Oxidised and non oxidised porous silicon/disperse red 1composite: physical and optical properties

M. Guendouz, N. Pedrono, R. Etesse, P. Joubert, J.-F. Bardeau, A. Bulou, M. Kloul

Journal:

physica status solidi (a)

Année:

2003

Langue:

english

Fichier:

PDF, 175 KB

english, 2003

14

Oxidised porous silicon/disperse red 1 composite material: fabrication and micro-Raman spectrometry analysis

M. Guendouz, M. Kloul, S. Haesaert, P. Joubert, J-F. Bardeau, A. Bulou

Journal:

physica status solidi (c)

Année:

2005

Langue:

english

Fichier:

PDF, 127 KB

english, 2005

15

Formal techniques for performance analysis: blending SAN and PEPA

Jane Hillston, Leïla Kloul

Journal:

Formal Aspects of Computing

Année:

2007

Langue:

english

Fichier:

PDF, 634 KB

english, 2007

16

Performance Analysis of a Software Retrieval Service

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 382 KB

english, 2009

17

Towards a Feasible Active Networking Scenario

J. Hillston, L. Kloul, A. Mokhtari

Journal:

Telecommunication Systems

Année:

2004

Langue:

english

Fichier:

PDF, 387 KB

english, 2004

18

[ACM Press the fourth international workshop - Redwood Shores, California (2004.01.14-2004.01.16)] Proceedings of the fourth international workshop on Software and performance - WOSP '04 - Analysing UML 2.0 activity diagrams in the software performance engineering process

Canevet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.

Année:

2004

Langue:

english

Fichier:

PDF, 560 KB

english, 2004

19

Modelling buffer admission mechanisms using stochastic automata networks

Jean -Michel Fourneau, Leïla Kloul, Nihal Pekergin, Franck Quessette, Véronique Veque

Journal:

annals of telecommunications - annales des télécommunications

Année:

1994

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1994

20

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Compositional Operational Semantics for OWL-S

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Année:

2005

Langue:

english

Fichier:

PDF, 258 KB

english, 2005

21

[IEEE 2011 IEEE 11th International Conference on Nanotechnology (IEEE-NANO) - Portland, OR, USA (2011.08.15-2011.08.18)] 2011 11th IEEE International Conference on Nanotechnology - Spectroscopic ellipsometric analysis of silicon-rich silicon nitride layers for PV applications

Delachat, F., Carrada, M., Ferblantier, G., Slaoui, A., Keita, A.-S., Naciri, A En, Kloul, M., Yan, L., Uppireddi, K.

Année:

2011

Langue:

english

Fichier:

PDF, 197 KB

english, 2011

22

News briefs

Andreeva, V., Dartinet-Chalmey, V., Kloul, A., Fromage, B., Kadri, N.

Journal:

Journal of Endodontics

Année:

1981

Langue:

english

Fichier:

PDF, 133 KB

english, 1981

23

[ACM Press the 16th ACM international conference - Barcelona, Spain (2013.11.03-2013.11.08)] Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems - MSWiM '13 - Femtocells sharing management using mobility prediction model

Barth, Dominique, Choutri, Amira, Kloul, Leïla, Marcé, Olivier

Année:

2013

Langue:

english

Fichier:

PDF, 599 KB

english, 2013

24

[ACM Press the 15th ACM international conference - Paphos, Cyprus (2012.10.21-2012.10.25)] Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '12 - Combining local and global profiles for mobility prediction in LTE femtocells

Barth, Dominique, Bellahsene, Samir, Kloul, Leila

Année:

2012

Langue:

english

Fichier:

PDF, 1.00 MB

english, 2012

25

NMR Study of Li + Ion Dynamics in the Perovskite Li 3 x La 1/3- x NbO 3

Emery, Joël, Bohnke, Odile, Florian, Pierre, Marzouk, Kloul

Journal:

Journal of Physical Chemistry B

Année:

2005

Langue:

english

Fichier:

PDF, 220 KB

english, 2005

26

[IEEE 2013 IEEE 11th International Conference on Industrial Informatics (INDIN) - Bochum, Germany (2013.07.29-2013.07.31)] 2013 11th IEEE International Conference on Industrial Informatics (INDIN) - The AltaRica 3.0 project for model-based safety assessment

Batteux, Michel, Prosvirnova, Tatiana, Rauzy, Antoine, Kloul, Leila

Année:

2013

Langue:

english

Fichier:

PDF, 669 KB

english, 2013

27

[IEEE Comput. Soc. Press MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Durham, NC, USA (18-20 Jan. 1995)] MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Multiple class G-networks with jumps back to zero

Fourneau, J.-M., Kloul, L., Quessette, F.

Année:

1995

Langue:

english

Fichier:

PDF, 437 KB

english, 1995

28

[IEEE Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - Turku, Finland (28-30 June 2006)] Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - Modelling Mobility with UML2.0 and PEPA Nets

Kloul, L., Kuster-Filipe, J.

Année:

2006

Langue:

english

Fichier:

PDF, 310 KB

english, 2006

29

Arnold Tongues in a Microfluidic Drop Emitter

Willaime, H, Barbier, V., Kloul, L., Maine, S., Tabeling, P.

Journal:

Physical Review Letters

Année:

2006

Langue:

english

Fichier:

PDF, 362 KB

english, 2006

30

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Automatic Translation of WS-CDL Choreographies to Timed Automata

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Année:

2005

Langue:

english

Fichier:

PDF, 301 KB

english, 2005

31

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Parametric Communication Model for the Verification of BPEL4WS Compositions

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Année:

2005

Langue:

english

Fichier:

PDF, 341 KB

english, 2005

32

Modeling systems with mobile components: a comparison between AltaRica and PEPA nets

Kloul, L., Prosvirnova, T., Rauzy, A.

Journal:

Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability

Année:

2013

Langue:

english

Fichier:

PDF, 1.47 MB

english, 2013

33

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Life After BPEL?

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Année:

2005

Langue:

english

Fichier:

PDF, 260 KB

english, 2005

34

Opportunistic data services in least developed countries

Anciaux, Nicolas, Bouganim, Luc, Delot, Thierry, Ilarri, Sergio, Kloul, Leila, Mitton, Nathalie, Pucheral, Philippe

Journal:

ACM SIGMOD Record

Année:

2014

Langue:

english

Fichier:

PDF, 804 KB

english, 2014

35

Analysing UML 2.0 activity diagrams in the software performance engineering process

Canevet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2004

Langue:

english

Fichier:

PDF, 560 KB

english, 2004

36

[ACM Press the first joint WOSP/SIPEW international conference - San Jose, California, USA (2010.01.28-2010.01.30)] Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10 - Synthesising PEPA nets from IODs for performance analysis

Bowles, Juliana, Kloul, Leila

Année:

2010

Langue:

english

Fichier:

PDF, 421 KB

english, 2010

37

[ACM Press the fourth international workshop - Redwood Shores, California (2004.01.14-2004.01.16)] Proceedings of the fourth international workshop on Software and performance - WOSP '04 - Software performance modelling using PEPA nets

Gilmore, Stephen, Hillston, Jane, Kloul, Leïla, Ribaudo, Marina

Année:

2004

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2004

38

[ACM Press the 2nd ACM international workshop - Montreal, Quebec, Canada (2005.10.10-2005.10.13)] Proceedings of the 2nd ACM international workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks - PE-WASUN '05 - Investigating unfairness scenarios in MANET using 802.11b

la Kloul, Leï, Valois, Fabrice

Année:

2005

Langue:

english

Fichier:

PDF, 474 KB

english, 2005

39

[IEEE 2016 Wireless Days (WD) - Toulouse, France (2016.3.23-2016.3.25)] 2016 Wireless Days (WD) - Mobile users assignment control strategies for LTE networks

Barth, Dominique, Choutri, Amira, Kloul, Leila, Marce, Olivier

Année:

2016

Langue:

english

Fichier:

PDF, 405 KB

english, 2016

40

SCOLA, A SCENARIO ORIENTED MODELING LANGUAGE FOR RAILWAY SYSTEMS

Issad, Melissa, Kloul, Leila, Rauzy, Antoine, Berkani, Karim

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 262 KB

english, 2015

41

Software performance modelling using PEPA nets

Gilmore, Stephen, Hillston, Jane, Kloul, Leïla, Ribaudo, Marina

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2004

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2004

42

[IEEE 2017 Annual Reliability and Maintainability Symposium (RAMS) - Orlando, FL, USA (2017.1.23-2017.1.26)] 2017 Annual Reliability and Maintainability Symposium (RAMS) - A scenario-based FMEA method and its evaluation in a railway context

Issad, Melissa, Kloul, Leila, Rauzy, Antoine

Année:

2017

Langue:

english

Fichier:

PDF, 675 KB

english, 2017

43

Production Trees: a New Modeling Methodology for Production Availability Analyses

Kloul, Leïla, Rauzy, Antoine

Journal:

Reliability Engineering & System Safety

Année:

2017

Langue:

english

Fichier:

PDF, 659 KB

english, 2017

44

Modeling the CBTC Railway System of Siemens with ScOLa

Issad, Melissa, Kloul, Leïla, Rauzy, Antoine, Berkani, Karim

Journal:

International Journal of Intelligent Transportation Systems Research

Année:

2017

Langue:

english

Fichier:

PDF, 1.36 MB

english, 2017

45

Scenario-oriented reverse engineering of complex railway system specifications

Issad, Melissa, Kloul, Leila, Rauzy, Antoine

Journal:

Systems Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 1.88 MB

english, 2018

46

[IEEE 2018 3rd International Conference on System Reliability and Safety (ICSRS) - Barcelona, Spain (2018.11.23-2018.11.25)] 2018 3rd International Conference on System Reliability and Safety (ICSRS) - Electrical and Thermal System Impact on the Availability of a Data Center's System

Bennaceur, Walid Mokhtar, Kloul, Leila

Année:

2018

Langue:

english

Fichier:

PDF, 31 KB

english, 2018

47

[IEEE 2018 IEEE 37th International Performance Computing and Communications Conference (IPCCC) - Orlando, FL, USA (2018.11.17-2018.11.19)] 2018 IEEE 37th International Performance Computing and Communications Conference (IPCCC) - Reliability and Performance Analysis of a Data Center's Network Architecture

Bennaceur, Walid Mokhtar, Kloul, Leila

Année:

2018

Langue:

english

Fichier:

PDF, 36 KB

english, 2018

48

Formal models for safety and performance analysis of a data center system

Bennaceur, Walid Mokhtar, Kloul, Leïla

Journal:

Reliability Engineering & System Safety

Année:

2020

Langue:

english

Fichier:

PDF, 4.21 MB

english, 2020

49

Folk-IS

Anciaux, N., Bouganim, L., Delot, T., Ilarri, S., Kloul, L., Mitton, N., Pucheral, P.

Journal:

Proceedings of the VLDB Endowment

Année:

2014

Fichier:

PDF, 279 KB

2014